Compressed pseudo-lattices

نویسندگان

  • F. J. Van Der Merwe
  • Derrick G. Kourie
چکیده

We introduce the notion of a compressed pseudo-lattice and suggest its use as a data structure in areas of application related to Formal Concept Analysis. It is closely related to the line diagram of a lattice and its use as a computational tool in applications such as machine learning, information retrieval and knowledge discovery in databases is discussed. The data structure, essentially a bipartite graph that incorporates an embedded sublattice, combines desirable features of concept lattices in a structure that allows for a flexible mechanism of scaling the size of the embedded sublattice, using defined operations that compress and expand it by removing or adding atoms and coatoms. A compressed pseudo-lattice essentially represents a complete sublattice from which a number of atoms and/or coatoms have been removed. Additionally the relation of the sublattice to the context from which it was derived is preserved. An application-dependent compression strategy or criterion is required to guide this process. The intent operations of a lattice are defined as substitutes for the infimum and supremum operations in compresses pseudo-lattices. It is argued that the removal of concepts from a concept lattice may hold advantages over traditional approaches.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Classes of Pseudo-BCK algebras -Part I

In this paper we study particular classes of pseudo-BCK algebras, bounded or not bounded, as pseudo-BCK(pP) algebras, pseudo-BCK(pP) lattices, pseudo-Hájek(pP) algebras and pseudo-Wajsberg algebras. We introduce new classes of pseudo-BCK(pP) lattices, we establish hierarchies and we give some examples. We work with left-defined algebras and we work with → and ; as primitive operations, not with...

متن کامل

Pseudo-Retract Functors for Local Lattices and Bifinite L-domains

Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, have been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to loca...

متن کامل

Clarification to ‘Congruence Lattices of Semilattice’

i.e., each principal filter is pseudo-complemented. Based on the way relatively complemented lattices are defined (every interval is complemented), this seemed like the natural way to define relatively pseudocomplemented (for a lattice with a greatest element, (1) is equivalent to each each interval being pseudo-complemented). However, the term relatively pseudo-complemented was already in use ...

متن کامل

Short Bases of Lattices over Number Fields

Lattices over number elds arise from a variety of sources in algorithmic algebra and more recently cryptography. Similar to the classical case of Z-lattices, the choice of a nice, short (pseudo)-basis is important in many applications. In this article, we provide the rst algorithm that computes such a short (pseudo)-basis. We utilize the LLL algorithm for Z-lattices together with the Bosma-Pohs...

متن کامل

Pseudo-Retract Functors for Local Lattices and Bifinte L-Domains

Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, has been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to local...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Exp. Theor. Artif. Intell.

دوره 14  شماره 

صفحات  -

تاریخ انتشار 2002